GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🎮Verification Games
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·8h·
Discuss: r/programming
🐫OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·13h·
Discuss: Hacker News
🔬Static Analysis
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Harnessing AI To Elevate Automated Software Testing
thenewstack.io·1d
👁️System Observability
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·12h·
Discuss: Hacker News
🛡️seL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🛡️seL4
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·18h·
Discuss: Substack
🔬Static Analysis
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·2h
👁️System Observability
Don’t compare programming to the real world
expressionstatement.com·17h·
Discuss: r/programming
👁️System Observability
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🛡️seL4
Galois field instructions on 2021 CPUs
corsix.org·19h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·9h·
Discuss: Hacker News
🌐NetworkProtocols
Binding Application in Idris
andrevidela.com·7h·
Discuss: Hacker News
🔠Type-Level Programming